Mathematical formulation